Final Report for ARO grant DAAD19-02-1-0055

ARO FINAL REPORT Project Title: Biocatalytic Buffering System for Detoxification of Nerve Agents Proposal Number: 42617-CH Agreement Number: DAAD19-02-1-0072

Bounds for the Adiabatic Approximation with Applications to Quantum Computation

We present straightforward proofs of estimates used in the adiabatic approximation. The gap dependence is analyzed explicitly. We apply the result to interpolating Hamiltonians of interest in quantum computing. Supported by the Deutsche Forschungsgemeinschaft (DFG) Partially supported by the National Security Agency (NSA) and Advanced Research and Development Activity (ARDA) under Army Research...

A Quantitative Approach to Analyzing Architectures in the Presence of Uncertainty

The concepts and techniques that underlie architectural analysis are well understood in the research community. However, many of these approaches do not incorporate uncertainty into their techniques. This forces the architect to specify precisely properties that are not well defined or to analyze the system qualitatively, providing an imprecise representation of the properties the system will e...

Qubit Entanglement Breaking Channels

This paper continues the study of stochastic maps, or channels, for which (I ⊗Φ)(Γ) is always separable in the case of qubits. We give a detailed description of entanglement-breaking qubit channels, and show that such maps are precisely the convex hull of those known as classical-quantum channels. We also review the complete positivity conditions in a canonical parameterization and show how the...

Enforcing Conformance between Security Architecture and Implementation

Analysis at the level of a runtime architecture matches the way experts reason about security or privacy better than a purely code-based strategy. However, the architecture must still be correctly realized in the implementation. We previously developed Scholia to analyze, at compile time, communication integrity between arbitrary object-oriented code, and a rich, hierarchical intended runtime a...